-
1 совместно выполнимые формулы
jointly satisfiable formulas, jointly satisfiable satisfiablesРусско-английский научно-технический словарь Масловского > совместно выполнимые формулы
-
2 совместно выполнимые формулы
Mathematics: jointly satisfiable formulasУниверсальный русско-английский словарь > совместно выполнимые формулы
См. также в других словарях:
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium